Efficient & Correct Predictive Equivalence for Decision Trees
arxiv.org·10h
🌳Pattern Match Compilation
Code Reuse Without Classes: A Deep Dive into Non-OOP Reusability
dev.to·10h·
Discuss: DEV
🪢Rope Data Structures
Fault-Tolerant Logical Measurements via Homological Measurement
journals.aps.org·2h
🎯Bit-Vector Algorithms
Program Optimisations via Hylomorphisms for Extraction of Executable Code
drops.dagstuhl.de·10h·
Discuss: Hacker News
🏗️Calculus of Constructions
Discontiguous Exponential Averaging. (1998)
jacobfilipp.com·6h·
Discuss: Hacker News
🔢Algebraic Datatypes
Hyperbolic Sets in Incomplete Tables
arxiv.org·10h
📐Succinct Data Structures
Reinforced Generation of Combinatorial Structures: Applications to Complexity Theory
arxiv.org·10h
🪢Rope Data Structures
Optimal Transport for Handwritten Text Recognition in a Low-Resource Regime
arxiv.org·10h
⚖️Weighted Automata
RelRepair: Enhancing Automated Program Repair by Retrieving Relevant Code
arxiv.org·10h
🩺Compiler Diagnostics
MoPE: A Mixture of Password Experts for Improving Password Guessing
arxiv.org·10h
🔗Hash Functions
Static Compressed Prefix Tree in Array
github.com·1d·
Discuss: r/programming
📚Suffix Arrays
Building a Text Similarity Checker API Using Sentence Transformers and Flask
dev.to·7h·
Discuss: DEV
🔤Language Tokenizers
Solving the Cold Start Problem in E-Commerce Search with LLMs
pub.towardsai.net·3d
🔍Search Algorithms
Fine-Grained Detection of AI-Generated Text Using Sentence-Level Segmentation
arxiv.org·10h
🧠Semantic Parsing
Writing Our Own Structure: Tries in Haskell & Rust
mmhaskell.com·1d
🌿Trie Structures
Show HN: Lessie AI – Your People Search AI Agent
lessie.ai·21h·
Discuss: Hacker News
🌸Bloom Indexing
Show HN: Python Audio Transcription: Convert Speech to Text Locally
pavlinbg.com·20h·
Discuss: Hacker News
🌊Streaming Lexers
A scalable, elastic database and search solution for 1B+ vectors built on LanceDB and Amazon S3
aws.amazon.com·21h
📋JSON Parsing
AI Evals: Why Generic Metrics Hurt Your Product
decodingml.substack.com·3h·
Discuss: Substack
📊Code Metrics